🇬🇧 en de 🇩🇪

propositional logic noun

  • (logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
 Aussagenlogik
Wiktionary Links